Compiler construction - PDFSEARCH.IO - Document Search Engine

Compiler construction
Results: 1898

#	Item
201	FliPpr: A Prettier Invertible Printing System Kazutaka Matsuda1 and Meng Wang2 1 2 Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2013-05-31 02:47:36 Software engineering Computer programming Parsing algorithms Software Functional programming Parsing Logic in computer science Compiler construction Top-down parsing Monad Compiler-compiler Combinatory logic
202	TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2013-03-05 23:54:33 Logic in computer science Programming language semantics Programming language implementation Compiler construction Formal methods Abstract interpretation Semantics Static program analysis Syntax GrammaTech Denotational semantics Compiler
203	The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014 Add to Reading List Source URL: sigplan.org Language: English - Date: 2016-02-02 16:06:41 Computer memory Parallel computing Concurrent computing Compiler construction Programming language design Linearizability Memory model C++ Thread Abstraction Concurrency Memory barrier
204	Method Inlining in the Titanium Compiler CS265 Semester Project Report Dan Bonachea, Abstract Titanium is a parallel dialect of Java designed for writing high-performance scientific applications. Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:57 Software engineering Computer programming Computing Compiler optimizations Subroutines Inline expansion Compiler construction Just-in-time compilation Mutual recursion Interprocedural optimization Pin Runtime library
205	Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++) Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computing Software engineering Concurrent computing Concurrency Parallel computing Computer memory Compiler construction OpenMP Lock Memory model Barrier Linearizability
206	Argument Optionality: A New Library for the Grammar Matrix Customization System Safiyyah Saleem Add to Reading List Source URL: www.delph-in.net Language: English - Date: 2010-06-09 00:20:06 Grammar Cognitive science Syntax Linguistics Language Formal languages Generative linguistics Compiler construction Head-driven phrase structure grammar Thesis Formal grammar Parsing
207	DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software Computing Parsing algorithms Compiler construction Formal languages Parser generators Parsing Compiler-compiler Syntax Programming language Compiler Yacc
208	ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-07-14 22:20:33 Logic Abstraction Software Predicate logic Compiler construction Computational linguistics Natural language parsing Programming language implementation Parsing Natural language processing Dependency grammar Domain-specific language
209	Compositional CompCert Andrew W. Appel tifact * Complete Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-10-29 08:36:17 Software engineering Computing Software Logic in computer science Formal methods Compiler construction Cross-platform software Object-oriented programming languages Stack Semantics Optimizing compiler Operational semantics

UPDATE